Propositional Logic of Essence
نویسنده
چکیده
This paper presents a propositional version of Kit Fine’s (quantified) logic for essentialist statements, provides it with a semantics, and proves the former adequate (i.e. sound and complete) with respect to the latter.
منابع مشابه
Equality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملInterpolation for First Order S5
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first order S5 interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.
متن کاملA uni ed functorial framework for propositional like and equational like logics
Appetizer. Algebraic logic (AL) is a well established discipline yet some natural questions remain out of its scope. For instance, it is well known that the Horn and universal fragments of FOL are original logics close to equational logic rather than just sublogics of FOL, and, very similarly, Gentzen's axiomatization of FOL seems has much in common with the universal equational logic: how c a ...
متن کاملThe Lo gic of Essence as Internal Reflection
Hegel presents the Logic of Essence in his Science of Logic as a necessary outcome of the collapse of the Logic of Being. The selfcontradictions of the ontology of a logic of being lead to a new program in which the constitutive function of subjective capacities is explicitly recognized. It was precisely the suppression of these capacities that hindered the Logic of Being from doing justice to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Philosophical Logic
دوره 29 شماره
صفحات -
تاریخ انتشار 2000